package MP.staticchecker;
public class ArrayType extends Type {
	Type eType = null;
	Type iType = null;
	public ArrayType(Type e) {
		eType = e;
	}
	public ArrayType(Type index,Type element) {
		eType = element;
		iType = index;
	}
	public Type getEType() {
		return eType;
	}
	public Type getIType() {
		return iType;
	}
	public String toString(){
		RangeType range = (RangeType)iType;
		return "["+eType.toString()+","+String.valueOf(range.lower)+","+String.valueOf(range.upper)+"]";
	}
	public String getJVMType() {
		return "["+eType.getJVMType();
	}
}
